Myungchul Kim: tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (5)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001

Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001

Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 3.40 MB

0 / 0

english, 2001

2

Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim

Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim

Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 3.83 MB

0 / 0

english, 2001

3

Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea

Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea

Sven Twarok, Peter Langendoerfer, Hartmut Koenig (auth.), Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 29.18 MB

0 / 0

english, 2002

4

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001

Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 3.39 MB

0 / 0

english, 2001

5

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

Dr D. Rayner (auth.), Myungchul Kim, Sungwon Kang, Keesoo Hong (eds.)

Năm:

1997

Ngôn ngữ:

english

File:

PDF, 17.03 MB

0 / 0

english, 1997